منابع مشابه
Reflections on Kurt Gödel
Except for a few minor corrections this second printing is identical to the first ([Wang 1987]). The book is meant to be a first attempt to consider G’s life and work as a whole within an inclusive context that, except maybe for chapters 6, 10, and 11, is accessible to most thoughtful people. The many personal contacts that W had with G during the later years of G’s life makes him an important ...
متن کاملINTERNET - DRAFT Kurt
This document provides procedures for registering extensible elements of LDAP (Lightweight Directory Access Protocol). The document also provides guidelines to IANA (Internet Assigned Numbers Authority) describing conditions under which new values can be assigned. Zeilenga IANA Considerations for LDAP [Page 1] INTERNET-DRAFT draft-ietf-ldapbis-iana-05.txt 20 December 2001
متن کاملKurt Gödel and Computability Theory
Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda ...
متن کاملKurt Benirschke (1924-)
Kurt Benirschke studied cells, placentas, and endangered species in Germany and the US during the twentieth century. Benirschke was professor at the University of California in San Diego, California, and a director of the research department at the San Diego Zoo in San Diego, California. He also helped form the research department of the San Diego Zoo and its sister organization [3], the Center...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Der Pathologe
سال: 2008
ISSN: 0172-8113,1432-1963
DOI: 10.1007/s00292-008-1082-3